81. ESOP'90 : 3rd European Symposium on Programming
پدیدآورنده : N. Jones )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
432
82. ESOP' 90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18 1990: Proceedings
پدیدآورنده : N. Jones )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming - Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
E976
1990
83. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
پدیدآورنده : European Symposium on Programming, )3rd, 0991, Copenhagen, Denmark(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1990
84. ESOP '90. 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings, Lecture notes in Computer Science
پدیدآورنده : N. Jones )ed.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer programming, Congresses,، Programming languages )Electronic computers(, Congresses
رده :
QA
76
.
6
.
E976
85. Erlang'04 : proceedings of the ACM SIGPLAN 2004 Erlang Workshop, September 22, 2004, Snowbird, Utah, USA
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2004
86. Erlang'05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop, September 25, 2005, Tallinn, Estonia
پدیدآورنده : sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2005
87. 3. Fachtagung uber Programmiersprachen, Kiel, 5.-7. Marz 1974
پدیدآورنده : hrsg. von Bodo Schlender und Wolfgang Frielinghaus
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
7
88. Formal description technique
پدیدآورنده : / edited by K.R. Parker, G.A. Rose
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
89. Formal description techniques, II
پدیدآورنده : / Edited by Son T. Vuong
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
90. Formal description techniques III
پدیدآورنده : / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
91. Formal language description languages for computer programming; proceedings
پدیدآورنده : Edited by T.B. Steel, Jr
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I17
1964
92. Formal language description languages for computer programming; proceedings
پدیدآورنده : IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I17
1964
93. Formal semantics of Programming languages
پدیدآورنده : Courant Computer Science Symposium, 2d, New York, 0791
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
C68
1970
94. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
95. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
64
.
R49
1990
96. GI 3. Fachtagung uber programmiersprachen Kiel, 5-7, Marz, 1974
پدیدآورنده : Herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
7
97. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
98. Graphic languages. Proceedings
پدیدآورنده : IFIP Working Conference on Graphic Languages, 2791, Vancouver, B.C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer graphics-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
T
385
.
I25
1972
99. HOPL III
پدیدآورنده : sponsored by ACM SIGPLAN ; in-cooperation with ACM SIGSOFT.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- History, Congresses.
100. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
